Model checking领域的权威书籍

Model checking领域的权威书籍

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Jack and Annie are ready for their next fantasy adventure in the bestselling middle-grade series—the Magic Tree House! Wildfire! That's what Jack and Annie are up against when they are whisked away to the land of Australia. And they're not alone! Jack and Annie must help a baby kangaroo and a koala escape from a fire-filled forest. Will they be able to rescue the animals in ti...(展开全部)

This title is now presented in paperback. Ours is an era of uprootedness, with fewer and fewer people living out their lives where they are born. At such a time, in such a world, what does it mean to be 'at home?'. Perhaps among a nomadic people, for whom dwelling is not synonymous with being housed and settled, the search for an answer to this question might lead to a new way ...(展开全部)

Colleague and confidant of Einstein and Bohr, and pioneer of nuclear fission, John A. Wheeler is one of our most original and profound thinkers. In 1939 he published, with Niels Bohr, the first paper to successfully describe nuclear fission in terms of quantum physics - research that led to his involvement in the Los Alamos project. This volume presents essays by John Archibald...(展开全部)

This title is now presented in paperback. Ours is an era of uprootedness, with fewer and fewer people living out their lives where they are born. At such a time, in such a world, what does it mean to be 'at home?'. Perhaps among a nomadic people, for whom dwelling is not synonymous with being housed and settled, the search for an answer to this question might lead to a new way ...(展开全部)

Colleague and confidant of Einstein and Bohr, and pioneer of nuclear fission, John A. Wheeler is one of our most original and profound thinkers. In 1939 he published, with Niels Bohr, the first paper to successfully describe nuclear fission in terms of quantum physics - research that led to his involvement in the Los Alamos project. This volume presents essays by John Archibald...(展开全部)

Linda Kalof is professor of sociology at Michigan State University. Her books include The Earthscan Reader in Environmental Values and The Animals Reader: The Essential Classic and Contemporary Writings.